This is the current news about infineon cavite|Infineon sells production facilities in Cavite, Philippines, and 

infineon cavite|Infineon sells production facilities in Cavite, Philippines, and

 infineon cavite|Infineon sells production facilities in Cavite, Philippines, and I am extremely confused about this one. Given the following rule ("Type and Programming Languages", Benjamin Pierce, page 72):

infineon cavite|Infineon sells production facilities in Cavite, Philippines, and

A lock ( lock ) or infineon cavite|Infineon sells production facilities in Cavite, Philippines, and